An experimental evaluation of head-up display formats

Three types of head-up display format are investigated. Type 1 is an unreferenced (conventional) flight director, type 2 is a ground referenced flight path display, and type 3 is a ground referenced director. Formats are generated by computer and presented by reflecting collimation against a simulated forward view in flight. Pilots, holding commercial licenses, fly approaches in the instrument flight mode and in a combined instrument and visual flight mode. The approaches are in wind shear with varied conditions of visibility, offset, and turbulence. The displays are equivalent in pure tracking but there is a slight advantage for the unreferenced director in poor conditions. Flight path displays are better for tracking in the combined flight mode, possibly because of poor director control laws and the division of attention between superimposed fields. Workloads is better for the type 2 displays. The flight path and referenced director displays are criticized for effects of symbol motion and field limiting. In the subjective judgment of pilots familiar with the director displays, they are rated clearly better than path displays, with a preference for the unreferenced director. There is a fair division of attention between superimposed fields

Marine tethysuchian crocodyliform from the ?Aptian-Albian (Lower Cretaceous) of the Isle of Wight, UK

A marine tethysuchian crocodyliform from the Isle of Wight, most likely from the Upper Greensand Formation (upper Albian, Lower Cretaceous), is described. However, we cannot preclude it being from the Ferruginous Sands Formation (upper Aptian), or more remotely, the Sandrock Formation (upper Aptian-upper Albian). The specimen consists of the anterior region of the right dentary, from the tip of the dentary to the incomplete fourth alveolus. This specimen increases the known geological range of marine tethysuchians back into the late Lower Cretaceous. Although we refer it to Tethysuchia incertae sedis, there are seven anterior dentary characteristics that suggest a possible relationship with the Maastrichtian-Eocene clade Dyrosauridae. We also review ‘middle’ Cretaceous marine tethysuchians, including putative Cenomanian dyrosaurids. We conclude that there is insufficient evidence to be certain that any known Cenomanian specimen can be safely referred to Dyrosauridae, as there are some cranial similarities between basal dyrosaurids and Cenomanian–Turonian marine ‘pholidosaurids’. Future study of middle Cretaceous tethysuchians could help unlock the origins of Dyrosauridae and improve our understanding of tethysuchian macroevolutionary trends

Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack

Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by the debugger. This is a pity, because a promising ap- proach to debugging is therefore not applicable to many real-world programs. We use the cost centre stack from the Glasgow Haskell Compiler profiling environment together with runtime value observations as provided by the Haskell Object Observation Debugger (HOOD) to collect enough information for algorithmic debugging. Program annotations are in suspected modules only. With this technique algorithmic debugging is applicable to a much larger set of Haskell programs. This demonstrates that for functional languages in general a simple stack trace extension is useful to support tasks such as profiling and debugging

Representing Business Contracts in RuleML

This paper presents an approach for the specification and implementation of translating contracts from a human-oriented form into an executable representation for monitoring. This will be done in the setting of RuleML. The task of monitoring contract execution and performance requires a logical account of deontic and defeasible aspects of legal language; currently such aspects are not covered by RuleML; accordingly we show how to extend it to cover such notions. From its logical form, the contract will be thus transformed into a machine readable rule notation and eventually implemented as executable semantics via any mark-up languages depending on the client's preference, for contract monitoring purposes

A pearl on SAT solving in Prolog

A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is surprisingly powerful and its elegant use of Prolog constructs is presented as a programming pearl

Efficient negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved by us) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, we report on an implementation, using the Ciao Prolog system preprocessor, and provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques are shown to offer important improvements in this application

Factors affecting continuation of clean intermittent catheterisation in people with multiple sclerosis: results of the COSMOS mixed-methods study

Background:  Clean intermittent catheterisation (CIC) is often recommended for people with multiple sclerosis (MS).  Objective:  To determine the variables that affect continuation or discontinuation of the use of CIC.  Methods:  A three-part mixed-method study (prospective longitudinal cohort (n = 56), longitudinal qualitative interviews (n = 20) and retrospective survey (n = 456)) was undertaken, which identified the variables that influenced CIC continuation/discontinuation. The potential explanatory variables investigated in each study were the individual’s age, gender, social circumstances, number of urinary tract infections, bladder symptoms, presence of co-morbidity, stage of multiple sclerosis and years since diagnosis, as well as CIC teaching method and intensity.  Results:  For some people with MS the prospect of undertaking CIC is difficult and may take a period of time to accept before beginning the process of using CIC. Ongoing support from clinicians, support at home and a perceived improvement in symptoms such as nocturia were positive predictors of continuation. In many cases, the development of a urinary tract infection during the early stages of CIC use had a significant detrimental impact on continuation.  Conclusion:  Procedures for reducing the incidence of urinary tract infection during the learning period (i.e. when being taught and becoming competent) should be considered, as well as the development of a tool to aid identification of a person’s readiness to try CIC

Lightweight Computation Tree Tracing for Lazy Functional Languages

A computation tree of a program execution describes computations of functions and their dependencies. A computation tree describes how a program works and is at the heart of algorithmic debugging. To generate a computation tree, existing algorithmic debuggers either use a complex implementation or yield a less informative approximation. We present a method for lazy functional languages that requires only a simple tracing library to generate a detailed computation tree. With our algorithmic debugger a programmer can debug any Haskell program by only importing our library and annotating suspected functions

Compositional Explanation of Types and Algorithmic Debugging of Type Errors

The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard to understand why a program is not type correct or a function does not have the intended type. We suggest that at the core of this problem is the difficulty of explaining why a given expression has a certain type. The type system is not defined compositionally. We propose to explain types using a variant of the Hindley-Milner type system that defines a compositional type explanation graph of principal typings. We describe how the programmer understands types by interactive navigation through the explanation graph. Furthermore, the explanation graph can be the foundation for algorithmic debugging of type errors, that is, semi-automatic localisation of the source of a type error without even having to understand the type inference steps. We implemented a prototype of a tool to explore the usefulness of the proposed methods

A pilot study of the manual force levels required to produce manipulation induced hypoalgesia

Objective. A pilot investigation of the influence of different force levels on a treatment technique's hypoalgesic effect. Design. Randomised single blind repeated measures. Background. Optimisation of such biomechanical treatment variables as the point of force application, direction of force application and the level of applied manual force is classically regarded as the basis of best practice manipulative therapy. Manipulative therapy is frequently used to alleviate pain, a treatment effect that is often studied directly in the neurophysiological, paradigm and seldom in biomechanical research. The relationship between the level of force applied by a technique (e.g. biomechanics) and its hypoalgesic effect was the focus of this study. Method. The experiment involved the application of a lateral glide mobilisation with movement treatment technique to the symptomatic elbow of six subjects with lateral epicondylalgia. Four different levels of force, which were measured with a flexible pressure-sensing mat, were randomly applied while the subject performed a pain free grip strength test. Results. Standardised manual force data varied from 0.76 to 4.54 N/cm, lower-upper limits 95 Cl, respectively. Pain free grip strength expressed as a percentage change from pre-treatment values was significantly greater with manual forces beyond 1.9 N/cm (P = 0.014). Conclusions. This study, albeit a pilot, provides preliminary evidence that in terms of the hypoalgesic effect of a mobilisation with movement treatment technique, there may be an optimal level of applied manual force